Riemann Integral of Functions R into C
نویسندگان
چکیده
منابع مشابه
Riemann Integral of Functions R into C
One can prove the following proposition (1) For every complex number z and for every real number r holds <(r ·z) = r · <(z) and =(r · z) = r · =(z). Let S be a finite sequence of elements of C. The functor <(S) yielding a finite sequence of elements of R is defined by: (Def. 1) <(S) = <((S qua partial function from N to C)). The functor =(S) yielding a finite sequence of elements of R is define...
متن کاملRiemann Integral of Functions from R into Real Normed Space
Let X be a real normed space, let A be a closed-interval subset of R, let f be a function from A into the carrier of X, and let D be a Division of A. A finite sequence of elements of X is said to be a middle volume of f and D if it satisfies the conditions (Def. 1). (Def. 1)(i) len it = lenD, and (ii) for every natural number i such that i ∈ domD there exists a point c of X such that c ∈ rng(f ...
متن کاملRiemann Integral of Functions from R into Rn
Let A be a closed-interval subset of R, let f be a function from A into R, let S be a non empty Division of A, and let D be an element of S. A finite sequence of elements of R is said to be a middle volume of f and D if it satisfies the conditions (Def. 1). (Def. 1)(i) len it = lenD, and (ii) for every natural number i such that i ∈ domD there exists an element r of R such that r ∈ rng(f divset...
متن کاملRiemann Integral of Functions from R into n-dimensional Real Normed Space
In this article, we define the Riemann integral on functions R into n-dimensional real normed space and prove the linearity of this operator. As a result, the Riemann integration can be applied to the wider range. Our method refers to the [21]. The terminology and notation used in this paper have been introduced in the E denotes an element of R n. We now state a number of propositions: (1) If a...
متن کاملThe Linearity of Riemann Integral on Functions from R into Real Banach Space1
In this article, we described basic properties of Riemann integral on functions from R into Real Banach Space. We proved mainly the linearity of integral operator about the integral of continuous functions on closed interval of the set of real numbers. These theorems were based on the article [10] and we referred to the former articles about Riemann integral. We applied definitions and theorems...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Formalized Mathematics
سال: 2010
ISSN: 1898-9934,1426-2630
DOI: 10.2478/v10037-010-0024-8